1. ......................
Author: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
Author: edited by D. Bjorner
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
86
3. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital Computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
W51
1979
4. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
Author: edited by Peter J.L. Wallis
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
180
5. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
Author: Ada Software Tools Interfaces Workshop )3891: Bath, England(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
73
.
A35
.
A34
1983
6. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
Author: F.L.Baver... )et al( edited by F.L.Bover
Library: Dr. Mohammad Hassan Ganji Central Library and Publishing Center (South Khorasan)
Subject: ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
Classification :
QA
76
.
6
.
A33
1975
7. Advances in Computers
Author: \ Edited by atif memon, Ali r. Hurson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a03,a03,Software engineering.,مهندسی نرم افزار
Classification :
QA
76
.
2
.
A394
2015
E-Book
,
8. Algebraic Informatics
Author: \ Andreas Maletti (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
Classification :
QA
76
.
76
.
A55
2015
E-Book
,
9. An introduction to engineered software
Author: / Will D. Gillett, Seymour V. Pollack
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming
Classification :
001
.
642
G479
10. An introduction to engineered software
Author: / Will D. Gillett, Seymour V. Pollack
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
6
.
G554
1982
11. An introduction to engineered software
Author: Gillett, Will D.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic digital computers- Programming
Classification :
QA
76
.
6
.
G554
12. Applications of continuous mathematics to computer science /
Author: by Hung T. Nguyen, Vladik Kreinovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
Classification :
QA76
.
9
.
M35
N49
1997
13. Applied HyperTalk stackware
Author: / Jerry Daniels and Mary Jane Mara
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Software
Classification :
QA
76
.
7
.
D35
1989
14. Architectural issues
Author: / edited by Marvin V. Zelkowitz
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer architecture.,Software architecture.,Computer engineering.,Electronic books.--local
Classification :
QA
,
76
,.
A3
,
v
.
61
,
2004eb
15. Assemblers, compilers, and program translation
Author: Calingaert, Peter
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Assembling )Electronic Computers(,Comping )Electronic computers(,، Translators )Computer programs(
Classification :
QA
76
.
6
.
C337
16. Building parallel, embedded, and real-time applications with Ada /
Author: McCormick, John W.,8491-
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Ada )Computer program language(,، Parallel programming )Computer science(,، Embedded computer systems- Programming,، Real-time data processing,، Multiprocessors- Programming,، COMPUTERS / Software Development & Engineering / General$2 bisacsh
Classification :
QA
76
.
73
.
A35
M375
2011
17. Computer Science: A Mathematical Introduction: (Applied Mathematics: Modeling, ... software systems)
Author:
Library: Central Library and Documentation Center of Yazd University (Yazd)
Subject: Electronic data processing -- Mathematics ► Electronic digital computers -- Programming
Classification :
.
9
.
M35L48
18. Computer Science: A Mathematical Introduction: (Applied Mathematics: Modeling, ... software systems)
Author:
Library: Central Library and Documentation Center of Yazd University (Yazd)
Subject: Electronic data processing -- Mathematics ► Electronic digital computers -- Programming
Classification :
.
9
.
M35L48
19. Computer Science: A Mathematical Introduction: (Applied Mathematics: Modeling, ... software systems)
Author:
Library: Central Library and Documentation Center of Yazd University (Yazd)
Subject: Electronic data processing -- Mathematics ► Electronic digital computers -- Programming
Classification :
.
9
.
M35L48
20. Computer-aided design of language processors
Author: Shangin, V. F.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
Classification :
QA
76
.
76
.
T83
S53





